<!DOCTYPE html>
<html>
<head>
    <style>
        .code {
            white-space: pre-wrap;
            font-family: monospace;
            width: 100%;
        }

        .miss {
            background-color: #FF0000;
        }

        .hit, .undef {
            background-color: #94FF7C;
        }
    </style>
</head>
<body>

COLORIZED_LINE_HTML

</body>
</html>

